Optimal. Leaf size=102 \[ \frac {b \csc ^{-1}(c x)}{d e}-\frac {a+b \csc ^{-1}(c x)}{e (d+e x)}+\frac {b \tanh ^{-1}\left (\frac {c^2 d+\frac {e}{x}}{c \sqrt {c^2 d^2-e^2} \sqrt {1-\frac {1}{c^2 x^2}}}\right )}{d \sqrt {c^2 d^2-e^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.11, antiderivative size = 102, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 7, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.438, Rules used = {5335, 1582,
1489, 858, 222, 739, 212} \begin {gather*} -\frac {a+b \csc ^{-1}(c x)}{e (d+e x)}+\frac {b \tanh ^{-1}\left (\frac {c^2 d+\frac {e}{x}}{c \sqrt {1-\frac {1}{c^2 x^2}} \sqrt {c^2 d^2-e^2}}\right )}{d \sqrt {c^2 d^2-e^2}}+\frac {b \csc ^{-1}(c x)}{d e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 222
Rule 739
Rule 858
Rule 1489
Rule 1582
Rule 5335
Rubi steps
\begin {align*} \int \frac {a+b \csc ^{-1}(c x)}{(d+e x)^2} \, dx &=-\frac {a+b \csc ^{-1}(c x)}{e (d+e x)}-\frac {b \int \frac {1}{\sqrt {1-\frac {1}{c^2 x^2}} x^2 (d+e x)} \, dx}{c e}\\ &=-\frac {a+b \csc ^{-1}(c x)}{e (d+e x)}-\frac {b \int \frac {1}{\sqrt {1-\frac {1}{c^2 x^2}} \left (e+\frac {d}{x}\right ) x^3} \, dx}{c e}\\ &=-\frac {a+b \csc ^{-1}(c x)}{e (d+e x)}+\frac {b \text {Subst}\left (\int \frac {x}{(e+d x) \sqrt {1-\frac {x^2}{c^2}}} \, dx,x,\frac {1}{x}\right )}{c e}\\ &=-\frac {a+b \csc ^{-1}(c x)}{e (d+e x)}-\frac {b \text {Subst}\left (\int \frac {1}{(e+d x) \sqrt {1-\frac {x^2}{c^2}}} \, dx,x,\frac {1}{x}\right )}{c d}+\frac {b \text {Subst}\left (\int \frac {1}{\sqrt {1-\frac {x^2}{c^2}}} \, dx,x,\frac {1}{x}\right )}{c d e}\\ &=\frac {b \csc ^{-1}(c x)}{d e}-\frac {a+b \csc ^{-1}(c x)}{e (d+e x)}+\frac {b \text {Subst}\left (\int \frac {1}{d^2-\frac {e^2}{c^2}-x^2} \, dx,x,\frac {d+\frac {e}{c^2 x}}{\sqrt {1-\frac {1}{c^2 x^2}}}\right )}{c d}\\ &=\frac {b \csc ^{-1}(c x)}{d e}-\frac {a+b \csc ^{-1}(c x)}{e (d+e x)}+\frac {b \tanh ^{-1}\left (\frac {c^2 d+\frac {e}{x}}{c \sqrt {c^2 d^2-e^2} \sqrt {1-\frac {1}{c^2 x^2}}}\right )}{d \sqrt {c^2 d^2-e^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.14, size = 141, normalized size = 1.38 \begin {gather*} -\frac {a}{e (d+e x)}-\frac {b \csc ^{-1}(c x)}{e (d+e x)}+\frac {b \text {ArcSin}\left (\frac {1}{c x}\right )}{d e}+\frac {b \log (d+e x)}{d \sqrt {c^2 d^2-e^2}}-\frac {b \log \left (e+c \left (c d-\sqrt {c^2 d^2-e^2} \sqrt {1-\frac {1}{c^2 x^2}}\right ) x\right )}{d \sqrt {c^2 d^2-e^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(215\) vs.
\(2(98)=196\).
time = 2.32, size = 216, normalized size = 2.12
method | result | size |
derivativedivides | \(\frac {-\frac {a \,c^{2}}{\left (e c x +c d \right ) e}-\frac {b \,c^{2} \mathrm {arccsc}\left (c x \right )}{\left (e c x +c d \right ) e}+\frac {b \sqrt {c^{2} x^{2}-1}\, \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{e \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d}-\frac {b \sqrt {c^{2} x^{2}-1}\, \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{e \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}}{c}\) | \(216\) |
default | \(\frac {-\frac {a \,c^{2}}{\left (e c x +c d \right ) e}-\frac {b \,c^{2} \mathrm {arccsc}\left (c x \right )}{\left (e c x +c d \right ) e}+\frac {b \sqrt {c^{2} x^{2}-1}\, \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{e \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d}-\frac {b \sqrt {c^{2} x^{2}-1}\, \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{e \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}}{c}\) | \(216\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 202 vs.
\(2 (94) = 188\).
time = 0.42, size = 442, normalized size = 4.33 \begin {gather*} \left [-\frac {a c^{2} d^{3} - a d e^{2} - \sqrt {c^{2} d^{2} - e^{2}} {\left (b x e^{2} + b d e\right )} \log \left (\frac {c^{3} d^{2} x + c d e + \sqrt {c^{2} d^{2} - e^{2}} {\left (c^{2} d x + e\right )} + {\left (c^{2} d^{2} + \sqrt {c^{2} d^{2} - e^{2}} c d - e^{2}\right )} \sqrt {c^{2} x^{2} - 1}}{x e + d}\right ) + {\left (b c^{2} d^{3} - b d e^{2}\right )} \operatorname {arccsc}\left (c x\right ) + 2 \, {\left (b c^{2} d^{2} x e + b c^{2} d^{3} - b x e^{3} - b d e^{2}\right )} \arctan \left (-c x + \sqrt {c^{2} x^{2} - 1}\right )}{c^{2} d^{3} x e^{2} + c^{2} d^{4} e - d x e^{4} - d^{2} e^{3}}, -\frac {a c^{2} d^{3} - a d e^{2} + 2 \, \sqrt {-c^{2} d^{2} + e^{2}} {\left (b x e^{2} + b d e\right )} \arctan \left (\frac {\sqrt {-c^{2} d^{2} + e^{2}} {\left (c x e + c d - \sqrt {c^{2} x^{2} - 1} e\right )}}{c^{2} d^{2} - e^{2}}\right ) + {\left (b c^{2} d^{3} - b d e^{2}\right )} \operatorname {arccsc}\left (c x\right ) + 2 \, {\left (b c^{2} d^{2} x e + b c^{2} d^{3} - b x e^{3} - b d e^{2}\right )} \arctan \left (-c x + \sqrt {c^{2} x^{2} - 1}\right )}{c^{2} d^{3} x e^{2} + c^{2} d^{4} e - d x e^{4} - d^{2} e^{3}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {a + b \operatorname {acsc}{\left (c x \right )}}{\left (d + e x\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {a+b\,\mathrm {asin}\left (\frac {1}{c\,x}\right )}{{\left (d+e\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________